Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
761	Diagnosing Abstraction Failure for Separation Logic–based Analyses Josh Berdine1 , Arlen Cox2,? , Samin Ishtiaq1 , and Christoph M. Wintersteiger1 1 2 Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2012-09-29 08:34:18 Data types Abstraction Creativity Problem solving Thought Abstract interpretation Model checking C dynamic memory allocation Pointer Computing Software engineering Computer programming
762	Formal Methods Group ETH Zurich ¨ June 2003 Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan Computer Systems Institute ETH Zurich, Add to Reading List Source URL: fmics.inria.fr Language: English - Date: 2003-06-27 09:56:55 Cantons of Switzerland Model checking Boolean satisfiability problem ETH Zurich Røros Formal methods True quantified Boolean formula Zurich Theoretical computer science Boolean algebra Mathematics
763	L OOPFROG — loop summarization for static analysis Daniel Kroening Oxford University Comp. Lab., UK Aliaksei Tsitovich University of Lugano, Switzerland Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2011-03-25 19:46:35 Computing Nonassociative algebra Loop invariant Abstract interpretation Group theory Invariant For loop Model checking Infinite loop Software engineering Control flow Computer programming
764	Accepted to appear in IEE Systems Biology Symbolic Reachable Set Computation of Piecewise Aﬃne Hybrid Automata and its Application to Biological Modelling: Delta-Notch Protein Signalling Ronojoy Ghosh Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2006-11-03 02:08:52 Formal methods Hybrid automaton State transition system Computer science Cellular automata Model checking Automata theory Models of computation Theoretical computer science
765	Loopfrog: A Static Analyzer for ANSI-C Programs Daniel Kroening∗ , Natasha Sharygina† , Stefano Tonetta‡ , Aliaksei Tsitovich† and Christoph M. Wintersteiger§ ∗ Computing Laboratory, Oxford University, Oxford, Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2010-01-17 07:46:25 Formal methods Extended static checking Software testing Model checking Abstract interpretation Static program analysis Loop invariant Software verification C Software engineering Computing Computer programming
766	New Developments around the µCRL Tool Set Stefan Blom, Jan Friso Groote Izak van Langevelde, Bert Lisser Jaco van de Pol Add to Reading List Source URL: fmics.inria.fr Language: English - Date: 2003-06-27 09:57:26 Model checking Linearization Differential equation
767	Cost Effective Use of Formal Methods in Verification and Validation D. Richard Kuhn Ramaswamy Chandramouli National Institute of Standards and Technology Gaithersburg, MD 20899 Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2007-09-19 01:00:00 Applied mathematics Formal verification Automated theorem proving Isabelle Formal specification Software development process KeY Model checking ACL2 Formal methods Theoretical computer science Science
768	F Formal Methods && Tools Group Stefania Gnesi F M&&T Add to Reading List Source URL: fmics.inria.fr Language: English - Date: 2003-07-04 03:48:30 Computing Computer science Model checking Automata theory Concurrent computing Calculus Finite-state machine Actor model Petri net Models of computation Formal methods Concurrency
769	E X PLODE : a Lightweight, General System for Finding Serious Storage System Errors Junfeng Yang, Can Sar, and Dawson Engler Computer Systems Laboratory Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2011-12-05 14:08:52 Software Ext3 Kernel File system NTFS Operating system Crash Model checking C Computing Disk file systems System software
770	NuSMV 2: An OpenSource Tool for Symbolic Model Checking Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2002-07-09 12:35:04 Applied mathematics Formal methods Software Logic in computer science Model checking Electronic design automation Boolean algebra Boolean satisfiability problem Linear temporal logic Model checkers Theoretical computer science NuSMV

UPDATE